From 1c46e04f30e8b496ac0cc3ad830b4824e54c1e94 Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Thu, 28 Apr 2011 22:11:55 +0200 Subject: [PATCH] arrow: Make minimum size 5px, as opposed to the 15 it was before Number chosen by staring out the window and counting visible stars. This is necessary so that path bars don't underallocate the arrow widget they use. --- gtk/gtkarrow.c | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/gtk/gtkarrow.c b/gtk/gtkarrow.c index 9d46d69bf9..4da38722e4 100644 --- a/gtk/gtkarrow.c +++ b/gtk/gtkarrow.c @@ -52,7 +52,8 @@ #include "gtkprivate.h" #include "gtkintl.h" -#define MIN_ARROW_SIZE 15 +#define MINIMUM_ARROW_SIZE 5 +#define NATURAL_ARROW_SIZE 15 struct _GtkArrowPrivate { @@ -208,10 +209,10 @@ gtk_arrow_get_preferred_width (GtkWidget *widget, gtk_misc_get_padding (GTK_MISC (widget), &xpad, NULL); if (minimum_size) - *minimum_size = MIN_ARROW_SIZE + xpad * 2; + *minimum_size = MINIMUM_ARROW_SIZE + xpad * 2; if (natural_size) - *natural_size = MIN_ARROW_SIZE + xpad * 2; + *natural_size = NATURAL_ARROW_SIZE + xpad * 2; } static void @@ -224,10 +225,10 @@ gtk_arrow_get_preferred_height (GtkWidget *widget, gtk_misc_get_padding (GTK_MISC (widget), NULL, &ypad); if (minimum_size) - *minimum_size = MIN_ARROW_SIZE + ypad * 2; + *minimum_size = MINIMUM_ARROW_SIZE + ypad * 2; if (natural_size) - *natural_size = MIN_ARROW_SIZE + ypad * 2; + *natural_size = NATURAL_ARROW_SIZE + ypad * 2; } -- 2.30.2